* etc/PROBLEMS: More removal of old stuff
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:11:14 +0000 (21:11 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:11:14 +0000 (21:11 -0500)
commit8070d6af8356b919764cf13792b2b1aa1d7c8b36
tree33b78b2a92adc5eff8bece2b28c68477bb18f865
parent10fd6cec638f72ceac721c96b4238b53277723c3
* etc/PROBLEMS: More removal of old stuff
etc/PROBLEMS